Difference Sets and Recursion Theory

There is a recursive set of natural numbers which is the difference set of some recursively enumerable set but which is not the difference set of any recursive set.     

Un théorème de type Beurling–Lax dans la boule unitéA Beurling–Lax type theorem in the unit ball

We prove a Beurling–Lax theorem for a family of reproducing kernel Hilbert spaces of functions analytic in an open subset of the unit ball containing the origin. The spaces under consideration are characterized by functions called Schur multipliers. Using the theory of linear relations in Pontryagin spaces we also give coisometric realizations of Schur multipliers. To cite this article: D. Alpay et al., C. R. Acad. Sci. Paris, Ser. I 334 (2002) 349–354.     

Chiral phase transition and Anderson localization in the instanton liquid model for QCD

We study the spectrum and eigenmodes of the QCD Dirac operator in a gauge background given by an instanton liquid model (ILM) at temperatures around the chiral phase transition. Generically we find the Dirac eigenvectors become more localized as the temperature is increased. At the chiral phase transition, both the low lying eigenmodes and the spectrum of the QCD Dirac operator undergo a transition to localization similar to the one observed in a disordered conductor. This suggests that Anderson localization is the fundamental mechanism driving the chiral phase transition. We also find an additional temperature dependent mobility edge (separating delocalized from localized eigenstates) in the bulk of the spectrum which moves toward lower eigenvalues as the temperature is increased. In both regions, the origin and the bulk, the transition to localization exhibits features of a 3D Anderson transition including multifractal eigenstates and spectral properties that are well described by critical statistics. Similar results are obtained in both the quenched and the unquenched case though the critical temperature in the unquenched case is lower. Finally we argue that our findings are not in principle restricted to the ILM approximation and may also be found in lattice simulations.     

Characterization of heat-assisted magnetic probe recording on CoNi/Pt multilayers

A method of heat-assisted magnetic recording (HAMR) potentially suitable for probe-based storage systems is characterized. In this work, field emission current from a scanning tunneling microscope (STM) tip is used as the heating source. Pulse voltages of 2–7 V were applied to a CoNi/Pt multilayered film fabricated on either bare silicon or oxidized silicon substrates. Different types of Ir/Pt and W STM tips were used in the experiment. The results show that thermally recorded magnetic marks are formed with a nearly uniform mark size of 170 nm on the film fabricated on bare silicon substrate when the pulse voltage is above a threshold voltage. The mark size becomes 260 nm when they are written on the identical film fabricated on an oxidized silicon substrate. The threshold voltage depends on the material work function of the tip, with W having a threshold voltage about 1 V lower than Pt. A synthesized model, which contains the calculation of the emission current, the simulation of heat transfer during heating, and the study of magnetic domain formation, was introduced to explain experimental results. The simulation agrees well with the experiments.     

A Metropolis Monte Carlo Implementation of Bayesian Time-Domain Parameter Estimation: Application to Coupling Constant Estimation from Antiphase Multiplets

The Bayesian perspective on statistics asserts that it makes sense to speak of a probability of an unknown parameter having a particular value. Given a model for an observed, noise-corrupted signal, we may use Bayesian methods to estimate not only the most probable value for each parameter but also their distributions. We present an implementation of the Bayesian parameter estimation formalism developed by G. L. Bretthorst (1990,J. Magn. Reson.88, 533) using the Metropolis Monte Carlo sampling algorithm to perform the parameter and error estimation. This allows us to make very few assumptions about the shape of the posterior distribution, and allows the easy introduction of prior knowledge about constraints among the model parameters. We present evidence that the error estimates obtained in this manner are realistic, and that the Monte Carlo approach can be used to accurately estimate coupling constants from antiphase doublets in synthetic and experimental data.     

Separation and Enrichment of the Active Component of Carbon Based Paramagnetic Materials for Use in EPR Oximetry

Carbon based paramagnetic materials are frequently used for EPR oximetry, especiallyin vivo,but the EPR spectra of these materials often have more than one paramagnetic center and/or relatively low signal intensity. To determine whether the multi-components of carbon based materials could be separated and enriched in the active component, we used density gradient centrifugation to separate the materials into several fractions. We studied two types of coals, gloxy and Pocahontas, and found these materials to have large density distribution. The separated density fractions had very different EPR spectra and intensities. The active component from the coal material had a more homogeneous EPR signal and significantly increased EPR signal intensity, whereas for India ink, only slight changes were observed. This result can be very useful in the development of better probes for EPR oximetry.     

Fast neighborhood search for the single machine total weighted tardiness problem

Most successful heuristics for solving 1||∑w_jT_j are based on swap moves. We present an algorithm which improves the complexity of searching the swap neighborhood from O(n³) to O(n²). We show that this result also improves the complexity of the recently developed dynasearch heuristics.     

A remark on the mild solutions of non-local evolution equations

We provide a counterexample to some recent publications concerning the existence of the mild solutions of the non-local evolution equations, and indicate that in the study of the non-local evolution equations, the operators from which the mild solutions may be derived are in general not compact, thus those fixed point theorems requiring the compactness of the operators are not applicable.